38. Automated Mathematical Induction

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer science.,Logic.

Classification :
QA76
.
9
.
A96
E358
1996